Cognitive Science / Model Checking / Distributed System / Software Verification / Computer Software / Automated Software Engineering / State Space / Formal Verification / Design Model / Automated Software Engineering / State Space / Formal Verification / Design Model